/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 * JFlex 1.4.3                                                             *
 * Copyright (C) 1998-2009  Gerwin Klein <lsf@jflex.de>                    *
 * All rights reserved.                                                    *
 *                                                                         *
 * This program is free software; you can redistribute it and/or modify    *
 * it under the terms of the GNU General Public License. See the file      *
 * COPYRIGHT for more information.                                         *
 *                                                                         *
 * This program is distributed in the hope that it will be useful,         *
 * but WITHOUT ANY WARRANTY; without even the implied warranty of          *
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the           *
 * GNU General Public License for more details.                            *
 *                                                                         *
 * You should have received a copy of the GNU General Public License along *
 * with this program; if not, write to the Free Software Foundation, Inc., *
 * 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA                 *
 *                                                                         *
 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */

package JFlex;

import java.io.File;

/**
 * Collects all global JFlex options. Can be set from command line parser, ant
 * taks, gui, etc.
 * 
 * @author Gerwin Klein
 * @version JFlex 1.4.3, $Revision: 433 $, $Date: 2009-01-31 19:52:34 +1100
 *          (Sat, 31 Jan 2009) $
 */
public class Options {

	/**
	 * If true, additional verbose debug information is produced This is a
	 * compile time option
	 */
	public final static boolean DEBUG = false;

	/** code generation method: maximum packing */
	final public static int PACK = 0;
	/** code generation method: traditional */
	final public static int TABLE = 1;
	/** code generation method: switch statement */
	final public static int SWITCH = 2;

	/** output directory */
	private static File directory;
	/** strict JLex compatibility */
	public static boolean jlex;
	/** don't run minimization algorithm if this is true */
	public static boolean no_minimize;
	/** don't write backup files if this is true */
	public static boolean no_backup;
	/** default code generation method */
	public static int gen_method;
	/** If false, only error/warning output will be generated */
	public static boolean verbose;
	/** If true, progress dots will be printed */
	public static boolean progress;
	/** If true, jflex will print time statistics about the generation process */
	public static boolean time;
	/** If true, jflex will write graphviz .dot files for generated automata */
	public static boolean dot;
	/** If true, you will be flooded with information (e.g. dfa tables). */
	public static boolean dump;
	/** Output encoding */
	public static String encoding = null;

	static {
		setDefaults();
	}

	/**
	 * @return the output directory
	 */
	public static File getDir() {
		return directory;
	}

	/**
	 * Set output directory
	 * 
	 * @param dirName
	 *            the name of the directory to write output files to
	 */
	public static void setDir(String dirName) {
		setDir(new File(dirName));
	}

	/**
	 * Set output directory
	 * 
	 * @param d
	 *            the directory to write output files to
	 */
	public static void setDir(File d) {
		if (d.isFile()) {
			Out.error("Error: \"" + d + "\" is not a directory.");
			throw new GeneratorException();
		}

		if (!d.isDirectory() && !d.mkdirs()) {
			Out.error("Error: couldn't create directory \"" + d + "\"");
			throw new GeneratorException();
		}

		directory = d;
	}

	/**
	 * Sets all options back to default values.
	 */
	public static void setDefaults() {
		directory = null;
		jlex = false;
		no_minimize = false;
		no_backup = false;
		gen_method = Options.PACK;
		verbose = true;
		progress = true;
		time = false;
		dot = false;
		dump = false;
		Skeleton.readDefault();
	}

	public static void setSkeleton(File skel) {
		Skeleton.readSkelFile(skel);
	}
}
